Remove unused splint
authorJeroen van der Heijden <jeroen@transceptor.technology>
Wed, 26 Sep 2018 10:54:45 +0000 (12:54 +0200)
committerJeroen van der Heijden <jeroen@transceptor.technology>
Wed, 26 Sep 2018 10:54:45 +0000 (12:54 +0200)
commit53c04448ff0617e46fa92eda5ea36068d72d9bcd
treeea79af0eecaf9599d76a1ba6bf4b4d69699432ec
parent3d8fb70cb132810536c0a873ff89c48a3ba5fd76
Remove unused splint
.splintrc [deleted file]